Gal(Q(ω)/Q) ≈ U(n)